Design Patterns of Communicating Extended Finite State Machines in SDL
نویسندگان
چکیده
Copyright 2001, YoungJoon Byun. Permission is granted to copy for the PLoP 2001 conference. All other rights reserved. This work was supported by a grant from ETRI. YoungJoon Byun and Beverly A. Sanders Computer and Information Science and Engineering University of Florida Gainesville, FL 32611 {ybyun, sanders}@cise.ufl.edu Chang-Sup Keum Network Technology Lab. ETRI 161 Kajong-Dong, Yusong-Gu, Taejon 305-600, Korea [email protected]
منابع مشابه
A Pattern Language for Communication Protocols
In this paper, we suggest a pattern language, a collection of related design patterns, for the development of communication protocols with an emphasis on an SDL (Specification and Description Language) implementation. The patterns are grouped in two categories: structural patterns and behavioral patterns. The structural patterns are focused on the architectural aspects of communication protocol...
متن کاملGenerating Mixed Hardware/Software Systems from SDL Specifications
A new approach for the translation of SDL specifications to a mixed hardware/software system is presented. Based on the computational model of communicating extended finite state machines (EFSM) the control flow is separated from data flow of the SDL process. Hence for the first time it is possible to generate a mixed hardware/software implementation of an SDL process. This technique also reduc...
متن کاملCommunicating Hierarchical State Machines
Hierarchical state machines are nite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very little is known concerning their complexity and expressiveness. In this paper, we study these questions for hierarchical state machines as well as for communicating hierarchical state machines, that is, nite state machin...
متن کاملGenerating Tests for Control Portion of SDL Specifications
ABSTRACT The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-specified software. We present a testing approach consisting of the foll SDL specifications are first abstracted into finite state machines with save constructs machines are transformed to equivalent finite state ...
متن کاملThe formal semantics of SDL-2000: Status and perspectives
In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL2000 was officially approved to become part of the SDL language definition. It covers both the static and the dynamic semantics, and is based on the formalism of abstract state machines (ASMs). To support exec...
متن کامل